import _00SetFunction as sf

#验证函数性质
Xm,Ym,Zm=15,15,15
X,Y,Z=range(Xm),range(Ym),range(Zm)
f=sf.surjectionfunc(X,Y)
g=sf.surjectionfunc(Y,Z)
E1=sf.inversefunc(sf.compositefunc(f,g))
E2=sf.compositefunc( sf.inversefunc(g),sf.inversefunc(f))
tv=E1==E2
print("f",f)
print("g",g)
print(tv)